Section: New Results

Micro-Policies

Participants : Arthur Azevedo de Amorim [University of Pennsylvania] , Chris Casinghino [Draper Labs] , André Dehon [University of Pennsylvania] , Catalin Hritcu, Théo Laurent [ENS Paris] , Benjamin Pierce [University of Pennsylvania] , Howard Shrobe [MIT] , Greg Sullivan [Dover Microsystems] , Andrew Tolmach [Portland State University] .

This year we obtained a new DARPA grant called SSITH/HOPE on “Advanced New Hardware Optimized for Policy Enforcement, A New HOPE”. This grant is in the process of starting and our contribution will focus on devising a high-level micro-policy language and investigating micro-policies targetting today's most severe security vulnerabilities.